home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / LaFac < prev    next >
Text File  |  1994-06-24  |  1KB  |  45 lines
  1. ;LAFAC+COURS=SAVOIR
  2. (c)
  3.  
  4. ;;; Variables
  5. (r3 s a l c r2 o v r1 f u r0 i r)
  6.  
  7. ;;; Constraints
  8. ((=? (+ c s) (+ r (* 10 r0)))
  9.  (=? (+ r0 (+ a r)) (+ i (* 10 r1)))
  10.  (=? (+ r1 (+ f u)) (+ o (* 10 r2)))
  11.  (=? (+ r2 (+ a o)) (+ v (* 10 r3)))
  12.  (=? (+ r3 (+ l c)) (+ a (* 10 s)))
  13.  (<>? l a) (<>? l f) (<>? l c)
  14.  (<>? l o) (<>? l u) (<>? l r)
  15.  (<>? l s) (<>? l v) (<>? l i)
  16.  (<>? a f) (<>? a c) (<>? a o)
  17.  (<>? a u) (<>? a r) (<>? a s)
  18.  (<>? a v) (<>? a i) (<>? f c)
  19.  (<>? f o) (<>? f u) (<>? f r)
  20.  (<>? f s) (<>? f v) (<>? f i)
  21.  (<>? c o) (<>? c u) (<>? c r)
  22.  (<>? c s) (<>? c v) (<>? c i)
  23.  (<>? o u) (<>? o r) (<>? o s)
  24.  (<>? o v) (<>? o i) (<>? u r)
  25.  (<>? u s) (<>? u v) (<>? u i)
  26.  (<>? r s) (<>? r v) (<>? r i)
  27.  (<>? s v) (<>? s i) (<>? v i)
  28. (<>? l 0)(<>? c 0)(<>? s 0))
  29.  
  30. ;;; Domains
  31. ((0 1)
  32.  (1 0)
  33.  (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1 2 3 4 5 6 7 8 9)
  35.  (0 1 2 3 4 5 6 7 8 9)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1 2 3 4 5 6 7 8 9)
  39.  (0 1)
  40.  (0 1 2 3 4 5 6 7 8 9)
  41.  (0 1 2 3 4 5 6 7 8 9)
  42.  (0 1)
  43.  (0 1 2 3 4 5 6 7 8 9)
  44. (0 1 2 3 4 5 6 7 8 9))
  45.